Bernhard Möller: Z-Libraryで検索

知識と文化への入り口。誰にでもアクセス可能です。

Don't use scam websites

フィルターを適用する

完全一致

完全一致

本 (24)
一番人気本
リスト
- リスト
- 表

1

Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95 Paderborn, Germany, September 21–22, 1995 Selected Papers

Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95 Paderborn, Germany, September 21–22, 1995 Selected Papers

Springer-Verlag Berlin Heidelberg

Jan Willem Klop (auth.), Gilles Dowek, Jan Heering, Karl Meinke, Bernhard Möller (eds.)

年:

1996

言語:

english

ファイル:

DJVU, 2.40 MB

0 / 0

english, 1996

2

Mathematics of Program Construction: Third International Conference, MPC '95 Kloster Irsee, Germany, July 17–21, 1995 Proceedings

Mathematics of Program Construction: Third International Conference, MPC '95 Kloster Irsee, Germany, July 17–21, 1995 Proceedings

Springer-Verlag Berlin Heidelberg

Krzysztof R. Apt (auth.), Bernhard Möller (eds.)

年:

1995

言語:

english

ファイル:

DJVU, 3.12 MB

0 / 0

english, 1995

3

Mathematics of Program Construction: 6th International Conference, MPC 2002 Dagstuhl Castle, Germany, July 8–10, 2002 Proceedings

Mathematics of Program Construction: 6th International Conference, MPC 2002 Dagstuhl Castle, Germany, July 8–10, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Robert Giegerich, Peter Steffen (auth.), Eerke A. Boiten, Bernhard Möller (eds.)

年:

2002

言語:

english

ファイル:

PDF, 2.81 MB

0 / 0

english, 2002

4

Nach "Achtundsechzig": Krisen und Krisenbewusstsein in Deutschland und Frankreich in den 1970er Jahren

Nach "Achtundsechzig": Krisen und Krisenbewusstsein in Deutschland und Frankreich in den 1970er Jahren

Oldenbourg Wissenschaftsverlag

Bernhard Gotto (editor), Horst Möller (editor), Jean Mondot (editor), Nicole Pelletier (editor)

年:

2013

言語:

german

ファイル:

PDF, 1.58 MB

0 / 0

german, 2013

5

Relational and Algebraic Methods in Computer Science: 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings

Relational and Algebraic Methods in Computer Science: 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Bernhard Möller (auth.), Harrie de Swart (eds.)

年:

2011

言語:

english

ファイル:

PDF, 3.69 MB

0 / 5.0

english, 2011

6

Relational and Algebraic Methods in Computer Science: 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings

Relational and Algebraic Methods in Computer Science: 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Han-Hing Dang, Bernhard Möller (auth.), Wolfram Kahl, Timothy G. Griffin (eds.)

年:

2012

言語:

english

ファイル:

PDF, 4.32 MB

0 / 0

english, 2012

7

Nach "Achtundsechzig"

Nach "Achtundsechzig"

Walter de Gruyter

Bernhard Gotto, Horst Möller, Jean Mondot, Nicole Pelletier

年:

2013

言語:

german

ファイル:

PDF, 975 KB

0 / 0

german, 2013

8

Relations and Kleene Algebra in Computer Science: 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. Procee

Relations and Kleene Algebra in Computer Science: 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. Procee

Springer-Verlag Berlin Heidelberg

Marc Pauly (auth.), Rudolf Berghammer, Bernhard Möller, Georg Struth (eds.)

年:

2008

言語:

english

ファイル:

PDF, 4.47 MB

0 / 0

english, 2008

9

Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Pape

Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Pape

Springer-Verlag Berlin Heidelberg

Raymond Bisdorff, Marc Roubens (auth.), Rudolf Berghammer, Bernhard Möller, Georg Struth (eds.)

年:

2004

言語:

english

ファイル:

PDF, 5.80 MB

0 / 0

english, 2004

10

Relational and Algebraic Methods in Computer Science: 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings

Relational and Algebraic Methods in Computer Science: 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Han-Hing Dang, Bernhard Möller (auth.), Wolfram Kahl, Timothy G. Griffin (eds.)

年:

2012

言語:

english

ファイル:

PDF, 3.75 MB

0 / 0

english, 2012

11

Relational and Algebraic Methods in Computer Science: 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings

Relational and Algebraic Methods in Computer Science: 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Bernhard Möller (auth.), Harrie de Swart (eds.)

年:

2011

言語:

english

ファイル:

PDF, 3.19 MB

0 / 0

english, 2011

12

Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Pape

Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Pape

Springer-Verlag Berlin Heidelberg

Raymond Bisdorff, Marc Roubens (auth.), Rudolf Berghammer, Bernhard Möller, Georg Struth (eds.)

年:

2004

言語:

english

ファイル:

PDF, 2.92 MB

0 / 0

english, 2004

13

Relations and Kleene Algebra in Computer Science: 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009. Proceed

Relations and Kleene Algebra in Computer Science: 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009. Proceed

Springer-Verlag Berlin Heidelberg

Rohit Parikh (auth.), Rudolf Berghammer, Ali Mohamed Jaoua, Bernhard Möller (eds.)

年:

2009

言語:

english

ファイル:

PDF, 3.77 MB

0 / 0

english, 2009

14

Conformational Motion and Disorder in Low and High Molecular Mass Crystals

Conformational Motion and Disorder in Low and High Molecular Mass Crystals

Springer-Verlag Berlin Heidelberg

Bernhard Wunderlich, Martin Möller, Janusz Grebowicz, Herbert Baur (auth.)

年:

1988

言語:

english

ファイル:

PDF, 3.05 MB

0 / 0

english, 1988

15

Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA'93 Amsterdam, The Netherlands, September 23–24, 1993 Selected Papers

Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA'93 Amsterdam, The Netherlands, September 23–24, 1993 Selected Papers

Springer-Verlag Berlin Heidelberg

Andrea Asperti, Cosimo Laneve (auth.), Jan Heering, Karl Meinke, Bernhard Möller, Tobias Nipkow (eds.)

年:

1994

言語:

english

ファイル:

DJVU, 2.66 MB

0 / 0

english, 1994

16

Relations and Kleene Algebra in Computer Science: 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. Procee

Relations and Kleene Algebra in Computer Science: 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. Procee

Springer-Verlag Berlin Heidelberg

Marc Pauly (auth.), Rudolf Berghammer, Bernhard Möller, Georg Struth (eds.)

年:

2008

言語:

english

ファイル:

PDF, 7.73 MB

0 / 0

english, 2008

17

Mathematics of Program Construction: 6th International Conference, MPC 2002 Dagstuhl Castle, Germany, July 8–10, 2002 Proceedings

Mathematics of Program Construction: 6th International Conference, MPC 2002 Dagstuhl Castle, Germany, July 8–10, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Robert Giegerich, Peter Steffen (auth.), Eerke A. Boiten, Bernhard Möller (eds.)

年:

2002

言語:

english

ファイル:

PDF, 1.50 MB

0 / 0

english, 2002

18

Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Pape

Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Pape

Springer-Verlag Berlin Heidelberg

Raymond Bisdorff, Marc Roubens (auth.), Rudolf Berghammer, Bernhard Möller, Georg Struth (eds.)

年:

2004

言語:

english

ファイル:

PDF, 2.44 MB

0 / 0

english, 2004

19

Relations and Kleene Algebra in Computer Science: 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009. Proceed

Relations and Kleene Algebra in Computer Science: 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009. Proceed

Springer-Verlag Berlin Heidelberg

Rohit Parikh (auth.), Rudolf Berghammer, Ali Mohamed Jaoua, Bernhard Möller (eds.)

年:

2009

言語:

english

ファイル:

PDF, 6.09 MB

0 / 0

english, 2009

20

Relations and Kleene Algebra in Computer Science: 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009. Proceed

Relations and Kleene Algebra in Computer Science: 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009. Proceed

Springer-Verlag Berlin Heidelberg

Rohit Parikh (auth.), Rudolf Berghammer, Ali Mohamed Jaoua, Bernhard Möller (eds.)

年:

2009

言語:

english

ファイル:

PDF, 3.85 MB

0 / 0

english, 2009

21

Formal Program Development: IFIP TC2/WG 2.1 State-of-the-Art Report

Formal Program Development: IFIP TC2/WG 2.1 State-of-the-Art Report

Springer-Verlag Berlin Heidelberg

Bernhard Möller, Helmut A. Partsch, Stephen A. Schuman (auth.), Bernhard Möller, Helmut Partsch, Steve Schuman (eds.)

年:

1993

言語:

english

ファイル:

DJVU, 2.54 MB

0 / 0

english, 1993

22

Relational and Algebraic Methods in Computer Science: 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings

Relational and Algebraic Methods in Computer Science: 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Bernhard Möller (auth.), Harrie de Swart (eds.)

年:

2011

言語:

english

ファイル:

PDF, 3.61 MB

0 / 0

english, 2011

23

Prospects for Hardware Foundations: ESPRIT Working Group 8533 NADA — New Hardware Design Methods Survey Chapters

Prospects for Hardware Foundations: ESPRIT Working Group 8533 NADA — New Hardware Design Methods Survey Chapters

Springer-Verlag Berlin Heidelberg

Bernhard Möller, John V. Tucker (eds.)

年:

1998

言語:

english

ファイル:

PDF, 3.04 MB

0 / 0

english, 1998

24

Prospects for Hardware Foundations: ESPRIT Working Group 8533 NADA — New Hardware Design Methods Survey Chapters

Prospects for Hardware Foundations: ESPRIT Working Group 8533 NADA — New Hardware Design Methods Survey Chapters

Springer-Verlag Berlin Heidelberg

Bernhard Möller, John V. Tucker (eds.)

年:

1998

言語:

english

ファイル:

PDF, 5.14 MB

0 / 0

english, 1998